$\forall$${\it es}$:ES. es{-}eq(${\it es}$) $\in$ EqDecider(E)